there is no such camlp4prof.opt to be installed
authorStefano Zacchiroli <zack@debian.org>
Sat, 16 Jun 2007 09:44:47 +0000 (09:44 +0000)
committerStefano Zacchiroli <zack@debian.org>
Sat, 16 Jun 2007 09:44:47 +0000 (09:44 +0000)
commit338e5c89600f6c8043653fe2bfa833f2b46d9957
tree5b5ebfc3993de3f2a75ef9a40f825ed42ec68cf6
parent0af88751fc6b1779e630d515b417ddd15439efe3
there is no such camlp4prof.opt to be installed
debian/camlp4-extra.optfiles.in